Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·7h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·9h
🎯Gradual Typing
On systematic construction of correct logic programs
arxiv.org·18h
⚖️Hoare Logic
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Teaching programming languages
kmjn.org·1d
💻Programming languages
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·9h
✅Format Verification
Next‑Gen Chatbots: Extending Chat with MCP
dev.to·5h·
Discuss: DEV
🎙️Whisper
Show HN: Enterprise MCP Bridge – Solving the MCP Chaos for IT
blog.inxm.ai·4h·
Discuss: Hacker News
🔌Interface Evolution
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·8h
🦀Rust Macros
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·2h
🔌Interface Evolution
Chatting with Unmesh about building language with LLMs
martinfowler.com·8h
💻Programming languages
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·4h·
Discuss: Hacker News
🦀Rust Macros
Do I not like Ruby anymore? (2024)
sgt.hootr.club·15h·
Discuss: Hacker News, r/programming
🎯Gradual Typing
How to Build a ChatGPT Clone in Go: Cost, Context, and Lessons
nleiva.medium.com·1d·
Discuss: Hacker News
⚡gRPC
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·3h·
Discuss: Hacker News
🧮Algebraic Datatypes
Mojo Vision
docs.modular.com·17h·
Discuss: Hacker News
🔩Systems Programming
My thoughts on Vertical Slices, CQRS, Semantic Diffusion and other fancy words
architecture-weekly.com·1d·
Discuss: Hacker News, r/programming
🔌Interface Evolution
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers